Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
91	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: ndmitchell.com Language: English Software engineering Declarative programming Lambda calculus Computer programming Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function
92	from python import lecture A gentle introduction to the python programming language Muli Ben-Yehuda Add to Reading List Source URL: www.mulix.org Language: English - Date: 2016-06-16 09:04:09 Subroutines Functional programming Lambda calculus Anonymous function Parameter List comprehension Python syntax and semantics Lazy evaluation
93	Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:57 Software engineering Computer programming Declarative programming Functional programming Models of computation Monad Substitution Lambda calculus
94	Containers and Aggregates, Mutators and Isolates for Reactive Programming Aleksandar Prokopec Philipp Haller Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computer programming Declarative programming Functional programming Evaluation strategy Programming paradigms Lambda calculus Functional languages Reactive programming Functional reactive programming Scala Ur
95	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier
96	Loosing Functions Without Gaining Data Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Subroutines Lambda calculus Functional programming Fold Recursion Anonymous function Inline expansion Term
97	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Declarative programming Computer programming Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function
98	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
99	INTEGRATION AND OPTIMIZATION OF MULTIVARIATE POLYNOMIALS BY RESTRICTION ONTO A RANDOM SUBSPACE Alexander Barvinok February 2005 Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2005-02-14 17:39:57 Polynomials Fourier analysis Group theory Vector space Vectors Holomorphic functional calculus Hermite polynomials
100	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function

UPDATE